Merge pull request #1294 from iwishguo/master
authordavidcunado-arm <[email protected]>
Wed, 21 Mar 2018 19:20:43 +0000 (19:20 +0000)
committerGitHub <[email protected]>
Wed, 21 Mar 2018 19:20:43 +0000 (19:20 +0000)
Change PLATFORM_ROOT to TF_PLATFORM_ROOT


Trivial merge